’Glocalizing’ Education: Focusing in and Focusing Out

Focusing in bioproduction science

As in other Biotechnological fields, the microbial production of recombinant proteins and other biomolecules can be approached from multiple angles through the help of diverse technologies of increasing complexity. To better reach all the specialized niches in bioproduction, Microbial Cell Factories is now inviting authors to prepare concise Reviews (eventually miniReviews), covering relevant a...

Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asyn...

Focusing in Orthologic

We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a very simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and thus to facilitate proof search. We demonstrate how to take benef...

Isoelectric focusing.

ScanSAR focusing and interferometry

We discuss an efficient phase preserving technique for ScanSAR focusing, used to obtain images suitable for ScanSAR interferometry. Given two complex focused ScanSAR images of the same area, an interferogram can be generated as for conventional repeat pass SAR interferometry. However, due to the non-stationary azimuth spectrum of ScanSAR images, the coherence of the interferometric pair and the...